//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <core.h>
#include <_hal.h>

STATIC DECL_CODEINIT void CDECL SetupFPU();

EXTERN_C DECL_CODEINIT void CDECL SetupCPU()
{
    SetupFPU();
    //
    // TODO: enable reboot, now this func in the keyboard driver
    //
}

STATIC DECL_CODEINIT void CDECL SetupFPU()
{
    Stts();
}
